1. Specification and Verification of Declarative Open Interaction Models
پدیدآورنده : / Marco Montali
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
2. Specification and verification of declarative open interaction models :
پدیدآورنده : Marco Montali
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational intelligence,Computer logic,Declarative programming languages,Information technology,Management information systems,Business
رده :
QA76
.
9
.
L63
M66
2010
